A computability theoretic equivalent to Vaught's conjecture

We prove that, for every theory $T$ which is given by an ${\mathcal L}_{\omega_1,\omega}$ sentence, $T$ has less than $2^{\aleph_0}$ many countable models if and only if we have that, for every $X\in 2^\omega$ on a cone of Turing degrees, every $X$-hyperarithmetic model of $T$ has an $X$-computable copy. We also find a concrete description, relative to some oracle, of the Turing-degree spectra of all the models of a counterexample to Vaught's conjecture

The Complements of Lower Cones of Degrees and the Degree Spectra of Structures

We study Turing degrees a for which there is a countable structure whose degree spectrum is the collection {x : x ≰ a}. In particular, for degrees a from the interval [0′, 0″], such a structure exists if a′ = 0″, and there are no such structures if a″ \u3e 0‴

De Volkswagen a KIA, coreanización y desarrollo sustentable: el caso de Pesquería.

¿Repetimos errores, a pesar de lo que la Historia nos enseña? ¿Podemos amortiguarlo? Estas son las cuestiones iniciales que nos convocan al trabajo. Por nuestra vocación antropológica y de estudios orientales nos interesa especialmente el proceso de establecimiento y desarrollo de un importante proyecto de construcción y puesta en marcha de una planta de la automotriz coreana KIA en el entorno del municipio de Pesquería en el Estado mexicano de Nuevo León, en pleno perímetro metropolitano de su capital, Monterrey.Universidad de Málaga. Campus de Excelencia Internacional Andalucía Tech

Influence of the LILRA3 Deletion on Multiple Sclerosis Risk : Original Data and Meta-Analysis

Altres ajuts: Junta de Andalucía (JA)- Fondos Europeos de Desarrollo Regional (FEDER) (grant number CTS2704 to FM).Multiple sclerosis (MS) is a neurodegenerative, autoimmune disease of the central nervous system. Genome-wide association studies (GWAS) have identified over hundred polymorphisms with modest individual effects in MS susceptibility and they have confirmed the main individual effect of the Major Histocompatibility Complex. Additional risk loci with immunologically relevant genes were found significantly overrepresented. Nonetheless, it is accepted that most of the genetic architecture underlying susceptibility to the disease remains to be defined. Candidate association studies of the leukocyte immunoglobulin-like receptor LILRA3 gene in MS have been repeatedly reported with inconsistent results. In an attempt to shed some light on these controversial findings, a combined analysis was performed including the previously published datasets and three newly genotyped cohorts. Both wild-type and deleted LILRA3 alleles were discriminated in a single-tube PCR amplification and the resulting products were visualized by their different electrophoretic mobilities. Overall, this meta-analysis involved 3200 MS patients and 3069 matched healthy controls and it did not evidence significant association of the LILRA3 deletion [carriers of LILRA3 deletion: p = 0.25, OR (95% CI) = 1.07 (0.95-1.19)], even after stratification by gender and the HLA-DRB1*15 : 01 risk allele

Physics-Informed Neural Networks for an optimal counterdiabatic quantum computation

We introduce a novel methodology that leverages the strength of Physics-Informed Neural Networks (PINNs) to address the counterdiabatic (CD) protocol in the optimization of quantum circuits comprised of systems with $N_{Q}$ qubits. The primary objective is to utilize physics-inspired deep learning techniques to accurately solve the time evolution of the different physical observables within the quantum system. To accomplish this objective, we embed the necessary physical information into an underlying neural network to effectively tackle the problem. In particular, we impose the hermiticity condition on all physical observables and make use of the principle of least action, guaranteeing the acquisition of the most appropriate counterdiabatic terms based on the underlying physics. The proposed approach offers a dependable alternative to address the CD driving problem, free from the constraints typically encountered in previous methodologies relying on classical numerical approximations. Our method provides a general framework to obtain optimal results from the physical observables relevant to the problem, including the external parameterization in time known as scheduling function, the gauge potential or operator involving the non-adiabatic terms, as well as the temporal evolution of the energy levels of the system, among others. The main applications of this methodology have been the $\mathrm{H_{2}}$ and $\mathrm{LiH}$ molecules, represented by a 2-qubit and 4-qubit systems employing the STO-3G basis. The presented results demonstrate the successful derivation of a desirable decomposition for the non-adiabatic terms, achieved through a linear combination utilizing Pauli operators. This attribute confers significant advantages to its practical implementation within quantum computing algorithms.Comment: 28 pages, 10 figures, 1 algorithm, 1 tabl

Prototipo secador de madera para procesamiento secundario con tecnología de efecto invernadero, colectores solares de aire y sistemas de control electrónico

Wood is widely used as a renewable material for the furniture industry, but for this it must go through a drying process that guarantees the final quality of the product. Our goal was to develop a prototype wood dryer for secondary processing with greenhouse technology, solar air collectors, and electronic control systems. For this, we carried out an applied, non-experimental, descriptive investigation, of a technological nature for knowledge transfer in a carpentry company where we built the prototype with a system of measurement, monitoring and control of temperature and humidity under an IoT system with an Arduino. Mega 2560 and a Raspberry Pi applying deep learning algorithms. We managed to build the prototype to dry different species of wood with an average capacity of 1078 feet, with a drying time of 5.3 days, with 95% wood without deformations and 100% color uniformity. The dryer allows satisfactory results in terms of the physical characteristics of the wood with highly acceptable percentages.La madera es ampliamente usada como material renovable para la industria de los muebles, para ello debe pasar por un proceso de secado que garantice calidad final del producto. Nuestro objetivo fue desarrollar un prototipo secador de madera para procesamiento secundario con tecnología de efecto invernadero, colectores solares de aire y sistemas de control electrónico. Para ello llevamos a cabo una investigación aplicada, no experimental, descriptiva, de corte tecnológico para transferencia de conocimiento en una empresa carpintera donde construimos el prototipo con un sistema de medición, monitoreo y control de la temperatura y humedad, bajo un sistema IoT con un Arduino Mega 2 560 y un Raspberry Pi, aplicando algoritmos de aprendizaje profundo. Logramos construir el prototipo para secar diferentes especies de madera con una capacidad promedio de 1 078 pies, con un tiempo de secado de 5,3 días, con un 95% de maderas sin deformaciones y 100% en uniformidad del color. El secador permite tener resultados satisfactorios en cuanto a las características físicas de la madera con porcentajes altamente aceptables